Stichworte: Static reasoning